<body>
Contains the implementation of various software's behavior miners.
(a verification of the algorithms contained in this package is required)  
</body>